##############################################################################
###+-------+##################################################################
#+-| VALID |---------------------------------------+##########################
#| +-------+ The VALID clause initiates evaluation |##########################
#|           of a logical expression after a GET   |##########################
#+-------------------------------------------------+##########################
##############################################################################
##############################################################################
#+--| Syntax |------------------------------------------------------+#########
#|     @<Int-exp,Int-exp> GET <C-exp> [PICTURE <C-exp>              |#########
#|     || FUNCTION <C-exp>] [VALID <L-exp>] [FILTER <Uint-exp>]     |#########
#|     [ ID <Uint-exp> ]                                            |#########
#+------------------------------------------------------------------+#########
##############################################################################
##############################################################################
########+---| Description |--------------------------------------------+######
########| The VALID clause of the GET subcommand initiates evaluation  |######
########| of a logical expression after a GET.  If the expression      |######
########| evaluates to FALSE, the GET will be reentered and cannot be  |######
########| exited until the function evaluates to TRUE or until the ESC |######
########| key is pressed.  A function call in the VALID expression can |######
########| be used for auxiliary processing for each GET.               |######
########+--------------------------------------------------------------+######
##############################################################################